g:IGroup. Inverse(|g|;*;e;~) 

latex

Up	groups 1
Definitions of Statement	IMonoid, IGroup
Definitions	True, T, t  T, x:A. B(x), P  Q, SqStable(P), IMonoid, IGroup
Lemmas	igrp wf, grp inv wf, grp id wf, grp op wf, grp car wf, sq stable inverse